Koha online catalog › Results of search for 'su:"Computer logic"'

	1.	Refinement calculus by Back, Ralph-Johan. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1998Availability: Items available for loan: [Call number: 005.14 BAC] (1). Place hold
	2.	Modal and temporal properties of processes by Stirling, Colin. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 004.35 STI] (1). Place hold

Koha online